21. Varieties of constructive mathematics
پدیدآورنده : Bridges, Douglas S., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
B75
